Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
721	The International Olympiad in Informatics Syllabus 1 Version and status information Add to Reading List Source URL: ioinformatics.org Language: English - Date: 2013-10-04 02:55:48 Computer programming Software engineering Mathematics Recursion Theoretical computer science Operations research Computability theory International Olympiad in Informatics International Science Olympiad Algorithm Sorting algorithm Computational complexity theory
722	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
723	Technology Service Corporation an employee-owned company Systems Development and Production Division, 310 Voyager Way, Huntsville, ALwww.tsc.com Add to Reading List Source URL: www.tsc.com Language: English - Date: 2015-07-09 14:34:26 Computing Embedded systems Engineering Technology Computer science Systems design Firmware Computer engineering Computer security Systems engineering Operating system Embedded software
724	Considerations on the Insularity of Performance Evaluation Domenico Ferrari Computer Science Division Department of Electrical Engineering and Computer Sciences and the Electronics Research Laboratory Add to Reading List Source URL: www.eecs.harvard.edu Language: English Engineering Operations research Business Technology Evaluation Systems engineering Usability Simulation Conceptual model Industrial engineering Computer science Standard Performance Evaluation Corporation
725	PDF Document Add to Reading List Source URL: www.etaps.org Language: English - Date: 2016-03-31 11:43:47 Edsger W. Dijkstra Computing Computer science Software engineering THE multiprogramming system European Joint Conferences on Theory and Practice of Software Dijkstra Turing Award Semaphore
726	Algorithms and Tools for Scalable Graph Analy8cs Kamesh Madduri Computer Science and Engineering The Pennsylvania State University Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-03-09 01:30:00 Graph theory Mathematics
727	A Generic Algorithm Template for Divide-and-conquer in Multicore Systems Carlos H. Gonz´alez and Basilio B. Fraguela Depto. de Electr´onica e Sistemas Universidade da Coru˜na A Coru˜na, Spain {cgonzalezv, basilio.fra Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2010-07-05 09:09:38 Computer programming Software engineering Computing C++ Concurrent programming languages Parallel computing Theoretical computer science Application programming interfaces Algorithmic skeleton Recursion Divide and conquer algorithms Algorithm
728	A direct formulation for sparse PCA using semidefinite programming Alexandre d’Aspremont Department of Electrical Engineering and Computer Science University of California, Berkeley, CA 947 Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:28 Algebra Linear algebra Mathematics Matrix theory Multivariate statistics Numerical linear algebra Operations research Sparse PCA Semidefinite programming Principal component analysis Matrix Singular value decomposition
729	Building Application Stack (BAS) Andrew Krioukov, Gabe Fierro, Nikita Kitaev, David Culler Computer Science Department University of California, Berkeley , , Add to Reading List Source URL: sdb.cs.berkeley.edu Language: English - Date: 2015-01-06 07:20:11 Heating ventilating and air conditioning Engineering Physics BACnet Building automation Damper Construction Air handler HVAC Sensor web Database Geographic information system
730	On Structural Properties of MDPs that Bound Loss due to Shallow Planning 1 Nan Jiang1 and Satinder Singh1 and Ambuj Tewari2 Computer Science and Engineering, University of Michigan 2 Add to Reading List Source URL: dept.stat.lsa.umich.edu Language: English - Date: 2016-04-20 13:16:34 Field theory Mathematics Algebraic geometry Valuation Markov decision process Probability theory Logic Natural deduction

UPDATE